Preferential Multi-Agent Nonmonotonic Logics: Preliminary Report
نویسندگان
چکیده
This paper presents a way of constructing a multi-agent nonmonotonic logic from any propositional preference logic (the base logic). The multi-agent logic will \correctly" extend the base logic for each agent, that is, each agent will reason in the base logic, and the reasoning of each agent is independent of each other. If the base logic is propositional circumscription then the extended logic will also correctly deal with default formulas that mix the knowledge of more than one agent. Some of the properties of the extended logics and an example of nonmonotonic multi-agent reasoning are presented.
منابع مشابه
Preference-Based Semantics for Nonmonotonic Logics
A variant is proposed of the preference-based se mantics for nonmonotonic logics that was origi nally considered by Shoham [1987; 1988]. In this variant it is not assumed that preferences between standard models arc aggregated into one preference order. This allows the capturing of all main non monotonic formalisms, including Default Logic oi Reiter [1980]. The preferential models introduced...
متن کاملA modal perspective on defeasible reasoning
We introduce various new supraclassical entailment relations for defeasible reasoning and investigate some of their relationships. The contrapositive of the usual nonmonotonic preferential entailment turns out to be a monotonic supraclassical entailment. Analogously to these two, a nonmonotonic and its contrapositive monotonic supraclassical entailment can be defined by using modal operators re...
متن کاملDysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics
We describe DysToPic, a theorem prover for the preferential Description Logic ALC + Tmin. This is a nonmonotonic extension of standard ALC based on a typicality operator T, which enjoys a preferential semantics. DysToPic is a multi-engine Prolog implementation of a labelled, two-phase tableaux calculus for ALC +Tmin whose basic idea is that of performing these two phases by different machines. ...
متن کاملSemantics for Nonmonotonic Logics
A variant is proposed of the preference-based semantics for nonmonotonic logics that was originally considered by Shoham (1987,1988). In this variant it is not assumed that preferences between standard models are aggregated into one preference order. This allows the capturing of all main nonmonotonic formalisms, including Default Logic of Reiter (1980). The preferential models introduced in thi...
متن کاملLogical Properties in Defeasible Logic Programming – a preliminary report –
Logics for nonmonotonic reasoning have often been described by the property they lack—that is, monotonicity—instead of by those they do enjoy. These theories flourished in the early ‘80s in response to the inconveniences incomplete and changing information posed to classic, monotonic approaches. Several nonmonotonic formalisms were introduced in the literature: inheritance networks, default log...
متن کامل